home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
SGI Developer Toolbox 6.1
/
SGI Developer Toolbox 6.1 - Disc 2.iso
/
bin
/
isServerRunning
< prev
next >
Wrap
Text File
|
1996-11-11
|
434b
|
28 lines
#!/bin/csh -f
set DT_xconfirm = "$DT_utilities/DT_xconfirm"
#
# find out user name
#
set path = (/usr/bsd /bin /usr/bin /usr/sbin /usr/bin/X11)
if ($?HOME) then
set userName = $HOME
else
$DT_xconfirm nohome
endif
#
# if the pid file exists, then server invoked by this
# user is still running
#
if ( -e $userName/$DT_WWW_ROOT/logs/httpd.pid) then
#echo running
exit 1
else
#echo NOT running
exit 0
endif